A time-dependent Tsirelson's bound from limits on the rate of information gain in quantum systems

We consider the problem of distinguishing between a set of arbitrary quantum states in a setting in which the time available to perform the measurement is limited. We provide simple upper bounds on how well we can perform state discrimination in a given time as a function of either the average energy or the range of energies available during the measurement. We exhibit a specific strategy that nearly attains this bound. Finally, we consider several applications of our result. First, we obtain a time-dependent Tsirelson's bound that limits the extent of the Bell inequality violation that can be in principle be demonstrated in a given time t. Second, we obtain a Margolus-Levitin type bound when considering the special case of distinguishing orthogonal pure states.Comment: 15 pages, revtex, 1 figur

The ant's estimation of distance travelled: experiments with desert ants, Cataglyphis fortis

Foraging desert ants, Cataglyphis fortis, monitor their position relative to the nest by path integration. They continually update the direction and distance to the nest by employing a celestial compass and an odometer. In the present account we addressed the question of how the precision of the ant's estimate of its homing distance depends on the distance travelled. We trained ants to forage at different distances in linear channels comprising a nest entrance and a feeder. For testing we caught ants at the feeder and released them in a parallel channel. The results show that ants tend to underestimate their distances travelled. This underestimation is the more pronounced, the larger the foraging distance gets. The quantitative relationship between training distance and the ant's estimate of this distance can be described by a logarithmic and an exponential model. The ant's odometric undershooting could be adaptive during natural foraging trips insofar as it leads the homing ant to concentrate the major part of its nest-search behaviour on the base of its individual foraging sector, i.e. on its familiar landmark corrido

Knowledge-based vision for space station object motion detection, recognition, and tracking

Computer vision, especially color image analysis and understanding, has much to offer in the area of the automation of Space Station tasks such as construction, satellite servicing, rendezvous and proximity operations, inspection, experiment monitoring, data management and training. Knowledge-based techniques improve the performance of vision algorithms for unstructured environments because of their ability to deal with imprecise a priori information or inaccurately estimated feature data and still produce useful results. Conventional techniques using statistical and purely model-based approaches lack flexibility in dealing with the variabilities anticipated in the unstructured viewing environment of space. Algorithms developed under NASA sponsorship for Space Station applications to demonstrate the value of a hypothesized architecture for a Video Image Processor (VIP) are presented. Approaches to the enhancement of the performance of these algorithms with knowledge-based techniques and the potential for deployment of highly-parallel multi-processor systems for these algorithms are discussed

Vision Based Autonomous Robotic Control for Advanced Inspection and Repair

The advanced inspection system is an autonomous control and analysis system that improves the inspection and remediation operations for ground and surface systems. It uses optical imaging technology with intelligent computer vision algorithms to analyze physical features of the real-world environment to make decisions and learn from experience. The advanced inspection system plans to control a robotic manipulator arm, an unmanned ground vehicle and cameras remotely, automatically and autonomously. There are many computer vision, image processing and machine learning techniques available as open source for using vision as a sensory feedback in decision-making and autonomous robotic movement. My responsibilities for the advanced inspection system are to create a software architecture that integrates and provides a framework for all the different subsystem components; identify open-source algorithms and techniques; and integrate robot hardware

Autonomous Cryogenics Loading Operations Simulation Software: Knowledgebase Autonomous Test Engineer

The Simulation Software, KATE (Knowledgebase Autonomous Test Engineer), is used to demonstrate the automatic identification of faults in a system. The ACLO (Autonomous Cryogenics Loading Operation) project uses KATE to monitor and find faults in the loading of the cryogenics int o a vehicle fuel tank. The KATE software interfaces with the IHM (Integrated Health Management) systems bus to communicate with other systems that are part of ACLO. One system that KATE uses the IHM bus to communicate with is AIS (Advanced Inspection System). KATE will send messages to AIS when there is a detected anomaly. These messages include visual inspection of specific valves, pressure gauges and control messages to have AIS open or close manual valves. My goals include implementing the connection to the IHM bus within KATE and for the AIS project. I will also be working on implementing changes to KATE's Ul and implementing the physics objects in KATE that will model portions of the cryogenics loading operation

A strong converse for classical channel coding using entangled inputs

A fully general strong converse for channel coding states that when the rate of sending classical information exceeds the capacity of a quantum channel, the probability of correctly decoding goes to zero exponentially in the number of channel uses, even when we allow code states which are entangled across several uses of the channel. Such a statement was previously only known for classical channels and the quantum identity channel. By relating the problem to the additivity of minimum output entropies, we show that a strong converse holds for a large class of channels, including all unital qubit channels, the d-dimensional depolarizing channel and the Werner-Holevo channel. This further justifies the interpretation of the classical capacity as a sharp threshold for information-transmission.Comment: 9 pages, revte

Autonomous Cryogenics Loading Operations Simulation Software: Knowledgebase Autonomous Test Engineer

Working on the ACLO (Autonomous Cryogenics Loading Operations) project I have had the opportunity to add functionality to the physics simulation software known as KATE (Knowledgebase Autonomous Test Engineer), create a new application allowing WYSIWYG (what-you-see-is-what-you-get) creation of KATE schematic files and begin a preliminary design and implementation of a new subsystem that will provide vision services on the IHM (Integrated Health Management) bus. The functionality I added to KATE over the past few months includes a dynamic visual representation of the fluid height in a pipe based on number of gallons of fluid in the pipe and implementing the IHM bus connection within KATE. I also fixed a broken feature in the system called the Browser Display, implemented many bug fixes and made changes to the GUI (Graphical User Interface)

Tsirelson bounds for generalized Clauser-Horne-Shimony-Holt inequalities

Quantum theory imposes a strict limit on the strength of non-local correlations. It only allows for a violation of the CHSH inequality up to the value 2 sqrt(2), known as Tsirelson's bound. In this note, we consider generalized CHSH inequalities based on many measurement settings with two possible measurement outcomes each. We demonstrate how to prove Tsirelson bounds for any such generalized CHSH inequality using semidefinite programming. As an example, we show that for any shared entangled state and observables X_1,...,X_n and Y_1,...,Y_n with eigenvalues +/- 1 we have | + <X_2 Y_1> + + + ... + - | <= 2 n cos(pi/(2n)). It is well known that there exist observables such that equality can be achieved. However, we show that these are indeed optimal. Our approach can easily be generalized to other inequalities for such observables.Comment: 9 pages, LateX, V2: Updated reference [3]. To appear in Physical Review

Diaphragm myoclonus followed by generalised atonia in a patient with trisomy 4p: unusual semiology in an unusual condition.

In this report, we describe a female patient with trisomy 4p, a rare genetic condition, with unusual seizure semiology. The patient is one of the oldest reported survivors with this condition. This semiology was noted while she was being monitored by inpatient video telemetry. We observed a series of myoclonic shoulder jerks, followed by hiccup-like episodes, and finally an atonic head drop. Corresponding ictal EEG showed semi-rhythmic high-amplitude slow waves with spikes superimposed over the frontotemporal areas. This semiology was confirmed as habitual by her parents. Subsequent hiccup-like episodes had no EEG correlate, and the head drop was again associated with semi-rhythmic high-amplitude slow waves and superimposed spikes, more prominent over the right hemisphere. In addition, we review the several cases in which hiccups have been associated with seizures and how this may relate to the neural pathways involved in the pathophysiology of hiccups. We believe the ictal hiccup-like episodes followed by atonia to be a seizure semiology that has not previously been documented